منابع مشابه
New versions of Suen's correlation inequality
1. Introduction Suen 8] found a remarkable correlation inequality, giving estimates for the probability that a collection of dependent random indicator variables vanish simultaneously, or in other words, for the probability that none of a collection of dependent events occurs. The present author 4, 3] has found similar inequalities for a much more restricted situation; when applicable, these in...
متن کاملNew versions of the Radon-Nikodým theorem
On the basis of recent developments in measure theory the present note obtains a few new versions of the classical Radon-Nikodým theorem, with the aim to combine simple formulations with wide domains of application. 0. Introduction After Fremlin [4] section 232 the Radon-Nikodým (=:RN) theorem must be on any list of the half-dozen most important theorems of measure theory. Yet there is a lack o...
متن کاملNew Versions of Schur-weyl Duality
After reviewing classical Schur-Weyl duality, we present some other contexts which enjoy similar features, relating to Brauer algebras and classical groups. 1. Classical Schur-Weyl duality 1.1. Schur’s double-centralizer result. Consider the vector space V = C. The symmetric group Sr acts naturally on its r-fold tensor power V , by permuting the tensor positions. This action obviously commutes ...
متن کاملNew Techniques for Merging Text Versions
Versioning helps users to keep track of different sets of edits on a document. Version merging methods enable users to determine which parts of which version they wish to include in the next or final version. We explored several existing and two new methods (highlighting and overlay) in single and multiple window settings. We present the results of our quantitative user studies, which show that...
متن کاملNew Features of the SAT’04 versions of zChaff
Zchaff is an implementation of the well known Chaff algorithm [6]. It participated in the SAT 2002 Competition and won the Best Complete Solver in both industrial and handmade benchmark categories. It is a popular solver and can be compiled into a linkable library for easy integration with user applications. Successful integration examples include the BlackBox AI planner [1], NuSMV model checke...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Text Matters
سال: 2019
ISSN: 2084-574X
DOI: 10.18778/2083-2931.09.01